package com.quintus.opensource.kitt.core;

public interface IAltStepDeclaration extends ITTCNElement{

}
